high order predicate calculus
高阶述词演算
热门查询
- breathing n. 呼吸；瞬间；微风 adj. 呼吸的；逼真的 v. 呼吸（breathe的现在分词）
- formation n. 形成；构造；编队
- wicking n. 灯芯材料；毛细作用 v. 通过毛细作用带走（wick的现在分词）
- unknot vt. 解开…结子
- freud n. 佛洛伊德（1856-1939，奥地利心理分析学家及精神病学家）
- locomotive adj. 火车头的；运动的；移动的 n. 机车；火车头
- deleterious adj. 有毒的，有害的
- pimpernel n. 紫蘩蒌（海绿属植物） n. (Pimpernel)人名；(法)潘佩内尔
- badness n. 坏，恶；不良；恶劣状态
- Spencers 斯潘塞(男子名)
- dance n. 舞蹈；舞会；舞曲 adj. 舞蹈的；用于跳舞的 vt. 跳舞；使跳跃 vi. 跳舞；跳跃；飘扬 n. (Dance)人名；(英)丹斯；(法)当斯
- peasants 农民
- GAV abbr. gavotte 加伏特舞（曲）; gavage 管饲法（者）; gavel 大木槌; gavial 恒河鳄
- perineal adj. 会阴的
- scraped n. 刮掉，刮痕；报废 v. 刮掉，擦掉（scrape的过去分词）
- Hawaiian adj. 夏威夷的；夏威夷语的 n. 夏威夷人；夏威夷语
- fussiness 易激怒
- alloy n. 合金 vt. 使成合金；使减低成色 vi. 易于铸成合金 n. (Alloy)人名；(英)阿洛伊
- despondently adv. 意志消沉地；沮丧地
- shrivelled v. （因热力，严寒、干燥、年老等而）枯萎，皱缩( shrivel的过去式和过去分词 ); 瘪; 干巴; 干瘪
